<html>
<head><meta charset="utf-8"><title>how chalk presents goals to rustc and rust-analyzer · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/how.20chalk.20presents.20goals.20to.20rustc.20and.20rust-analyzer.html">how chalk presents goals to rustc and rust-analyzer</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="195628253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/how%20chalk%20presents%20goals%20to%20rustc%20and%20rust-analyzer/near/195628253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/how.20chalk.20presents.20goals.20to.20rustc.20and.20rust-analyzer.html#195628253">(Apr 28 2020 at 21:17)</a>:</h4>
<p>BTW, I was thinking that -- right now at least -- chalk kind of expects rustc, rust-analyzer and so forth to present it with goals that are expressed in relatively "logic-y" terms. I think that it would make sense at some point for us to streamline and think a bit about the interface that rustc and rust-analyzer use to talk to chalk. I think ideally it would be expressed more in "Rust terms" and probably capture some of the higher-level queries we want to express.</p>



<a name="195635652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/how%20chalk%20presents%20goals%20to%20rustc%20and%20rust-analyzer/near/195635652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Florian Diebold <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/how.20chalk.20presents.20goals.20to.20rustc.20and.20rust-analyzer.html#195635652">(Apr 28 2020 at 22:21)</a>:</h4>
<p>what kinds of higher-level queries would that be?</p>



<a name="195636031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/how%20chalk%20presents%20goals%20to%20rustc%20and%20rust-analyzer/near/195636031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/how.20chalk.20presents.20goals.20to.20rustc.20and.20rust-analyzer.html#195636031">(Apr 28 2020 at 22:24)</a>:</h4>
<p>I don't know, I have to think about that :) it may not wind up looking all that different. One minor thing is that, if we do the work of separating semantic from syntactic equality, then there is already going to be a "conversion step" for goals --</p>



<a name="195636065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/how%20chalk%20presents%20goals%20to%20rustc%20and%20rust-analyzer/near/195636065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/how.20chalk.20presents.20goals.20to.20rustc.20and.20rust-analyzer.html#195636065">(Apr 28 2020 at 22:25)</a>:</h4>
<p>we could therefore have the input goals be just valid rust where clauses</p>



<a name="195636098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/how%20chalk%20presents%20goals%20to%20rustc%20and%20rust-analyzer/near/195636098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/how.20chalk.20presents.20goals.20to.20rustc.20and.20rust-analyzer.html#195636098">(Apr 28 2020 at 22:25)</a>:</h4>
<p>or perhaps some mild superset, since we'd want to cover things like "type is well formed"</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>